mcsta/modest mcsta egl.jani -E N=10,L=2 --props unfairA -O out.txt Minimal --unsafe --es -S Hybrid --store-compress None --no-partial-results --alg OptimisticValueIteration --epsilon 5e-2 --width 5e-2 --relative-width --p0 --p1
egl.jani:model: info: egl is a DTMC model.
egl.jani: info: Need 88 bytes per state.
egl.jani: info: Explored 45598737 states for N=10, L=2.
Peak memory usage: 6787 MB
Analysis results for egl.jani
Experiment N=10, L=2
+ State space exploration
State size: 88 bytes
States: 45598737
Transitions: 45598737
Branches: 46647312
Rate: 255388 states/s
Time: 190.6 s
+ Property unfairA
Probability: 0.50048828125
Bounds: [0.50048828125, 0.50048828125]
Time: 7.7 s
+ Precomputations
Min. prob. 0 states: 33521152
Time for min. prob. 0 states: 3.1 s
Min. prob. 1 states: 12076050
Time for min. prob. 1 states: 1.4 s
+ Essential states
Iterations: 1
Essential states: 1537
Transitions: 1537
Branches: 3072
Time: 3.2 s
+ Optimistic value iteration
Total iterations: 3
Verif. attempts: 1
Verif. iterations: 1
Final epsilon: 0.05
Time: 0.0 s
Exported results to file "/out.txt".